Distributed network protocols
نویسنده
چکیده
A unified approach to the formal description and validation of several distributed protocols is presented. After introducing two basic protocols, a series of known and new protocols for connectivity test, shortest path, and path updating are described and validated. All protocols are extended to networks with changing topology.
منابع مشابه
Improvement of JXTA Protocols for Supporting Reliable Distributed Applications in P2P Systems
In any distributed application, the communication between the distributed processes/nodes of the distributed systems is essential for both reliability and efficiency matters. In this work we address this issue for distributed applications based on JXTA protocols. After a careful examination of the current version of JXTA protocols, we observed the need for improving the original JXTA protocols,...
متن کاملSimulation study of routing protocols in wireless sensor networks
Wireless sensor networks, a distributed network of sensor nodes perform critical tasks in many application areas such as target tracking in military applications, detection of catastrophic events, environment monitoring, health applications etc. The routing protocols developed for these distributed sensor networks need to be energy efficient and scalable. To create a better understanding of the...
متن کاملSurvey on Variants of Distributed Energy efficient Clustering Protocols in heterogeneous Wireless Sensor Network
Wireless sensor networks are composed of low cost and extremely power constrained sensor nodes which are scattered over a region forming self organized networks, making energy consumption a crucial design issue. Thus, finite network lifetime is widely regarded as a fundamental performance bottleneck. These networks are used for various applications such as field monitoring, home automation, med...
متن کاملImplementing Network Protocols as Distributed Logic Programs
Declarative networking [2, 4, 3, 1] is an application of database query-language and processing techniques to the domain of networking. Declarative networking is based on the observation that network protocols deal at their core with computing and maintaining distributed state (e.g., routes, sessions, performance statistics) according to basic information locally available at each node (e.g., n...
متن کاملCentral Control Over Distributed Routing – Public Review
Modern network management is foremost a case of precise control: to implement practical traffic engineering and network security policies, a network operator needs to control the exact path traffic takes through a network. While conceptually simple, accomplishing this level of control is surprisingly difficult with traditional network control planes; in the end, the underlying distributed routi...
متن کاملDistributed Path Reservation Algorithms for Multiplexed All-Optical Interconnection Networks
ÐIn this paper, we study distributed path reservation protocols for multiplexed all-optical interconnection networks. The path reservation protocols negotiate the reservation and establishment of connections that arrive dynamically to the network. These protocols can be applied to both wavelength division multiplexing (WDM) and time division multiplexing (TDM) networks. Two classes of protocols...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IEEE Trans. Information Theory
دوره 29 شماره
صفحات -
تاریخ انتشار 1983